Regular language - PDFSEARCH.IO - Document Search Engine

Regular language
Results: 1038

#	Item
211	Regular Functions Rajeev Alur University of Pennsylvania 1 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-13 10:13:47 Theoretical computer science Mathematics Combinatorics on words Models of computation Finite state transducer Finite-state machine Regular expression Regular language String Formal languages Automata theory Combinatorics
212	Graph Logics with Rational Relations and the Generalized Intersection Problem Pablo Barcel´o Diego Figueira Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:07:03 Formal languages Metalogic Computability theory Automata theory Model theory Structure Regular language Decision problem Reduction Theoretical computer science Mathematics Applied mathematics
213	TEX and TUG NEWS TEX and TUG NEWS is a newsletter for TEX and LATEX users alike: a forum for exchanging information, tips and suggestions; a regular means of communicating news items to one another ; a place where inform Add to Reading List Source URL: mirror.easyname.at Language: English - Date: 2011-01-07 09:23:18 Publishing Computing ConTeXt TUG Device independent file format Donald Knuth Text Executive Programming Language New Typesetting System TeX Typography Typesetting
214	Recurrent Reachability Analysis in Regular Model Checking Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-09-22 08:03:38 Computer science Applied mathematics Tree automaton Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
215	Regular Path Queries on Graphs with Data ∗ Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-04 06:11:44 Mathematics Applied mathematics Regular expression Regular language FO Star height Formal languages Automata theory Theoretical computer science
216	Algebraic Algorithms for LWE Martin R. Albrecht1 , Carlos Cid1 , Jean-Charles Faug`ere2 , and Ludovic Perret2 1 Information Security Group Royal Holloway, University of London Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-02-26 10:18:21 Applied mathematics Normal distribution Learning with errors Algebraic geometry Regular language Computational complexity theory Ideal lattice cryptography Cryptography Mathematics Theoretical computer science
217	Fast and Precise Sanitizer Analysis with B EK Pieter Hooimeijer University of Virginia Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-09 19:12:49 Models of computation Computer science Finite state transducer String Regular language Finite-state machine FO Deterministic finite automaton Automata theory Theoretical computer science Formal languages
218	Symbolic Finite State Transducers: Algorithms and Applications Margus Veanes Pieter Hooimeijer ∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-11-09 16:49:04 Symbol Regular language Automata theory Formal languages Finite state transducer
219	BITES instead of FIRST for Parsing Expression Grammar∗ Roman R. Redziejowski Abstract In an earlier paper, the author adapted to Parsing Expression Grammars (PEGs) the properties FIRST and FOLLOW used in the constructi Add to Reading List Source URL: www.romanredz.se Language: English - Date: 2011-09-08 11:39:06 Theoretical computer science Parsing expression grammar String LL parser FO Regular expression Context-free grammar Regular language Lookahead Formal languages Combinatorics Mathematics
220	AustinISO/IEC/SC 22/WG 14 N1694 Nick Stoughton Add to Reading List Source URL: www.open-std.org Language: English - Date: 2013-03-29 12:30:03 POSIX IEEE standards Internationalization and localization Locale Regular expression Tr C string handling Bc programming language Austin Group Computing Software Unix

UPDATE